Capturing Telic/Atelic Temporal Data Semantics: Generalizing Conventional Conceptual Models

Foundations of Temporal Conceptual Data Models

This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provides a coherent model-theoretic formalisation for them. It then introduces a correct and succinct encoding in a subset of first-order temporal logic, namely DLRUS – the description logic DLR extended with the temporal operators Si...

It Is About Time: Incorporating Temporal Data Semantics into Conceptual Models

Capturing Temporal Constraints in Temporal ER Models

A wide range of database applications manage information that varies over time. The conceptual modeling of databases is frequently based on one of the several versions of the ER model. As this model does not provide built-in means for capturing temporal aspects of data, the resulting diagrams are unnecessarily obscure and inadequate for documentation purposes. The TimeER model extends the ER mo...

Unifying Temporal Data Models via a Conceptual Model

To add time support to the relational model, both rst normal form (1NF) and non-1NF approaches have been proposed. Each has associated diiculties. Remaining within 1NF when time support is added may introduce data redundancy. The non-1NF models may be incapable of directly using existing relational storage structures or query evaluation technologies. This paper describes a new, conceptual tempo...

Semantics of Temporal Queries and Temporal Data

This paper analyzes the requirements for adding a temporal reasoning component to a natural language database query system, and proposes a computational model that satisfies those requirements. A prelimInary implementation in Prolog is used to generate examples of the model's capabi Iltles.